NoFlatSplit.agda:12,8-12
Cannot pattern match against flat argument of type Id A
when checking that the pattern id x has type Id A
